USE: A UML-based specification environment for validating UML and OCL

نویسندگان

  • Martin Gogolla
  • Fabian Büttner
  • Mark Richters
چکیده

The Unified Modeling Language (UML) is accepted today as an important standard for developing software. UML tools however provide little support for validating and checking models in early development phases. There is also no substantial support for the Object Constraint Language (OCL). We present an approach for the validation of UML models and OCL constraints based on animation and certification. The USE tool (UML-based Specification Environment) supports analysts, designers and developers in executing UML models and checking OCL constraints and thus enables them to employ model-driven techniques for software production.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Equational Specification of UML+OCL Static Class Diagrams

In this paper we propose an equational specification of UML+OCL static class diagrams that provides a formal foundation for automatically validating UML object diagrams with respect to OCL constraints. Basically, class and object UML diagrams are specified as membership equational theories, and OCL expressions are represented as terms over extensions of those theories. Then, validating object d...

متن کامل

Validating OCL Specifications with the USE Tool: An Example Based on the BART Case Study

The Object Constraint Language (OCL) is part of the Unified Modeling Language (UML). Within software engineering, UML is regarded today as an important step towards development of high-quality object-oriented systems. OCL allows to sharpen UML diagrams through invariants as well as preand postconditions. This paper explains the functionality of the UML Specification Environment USE which allows...

متن کامل

Validating UML/OCL component specifications through animation

UML has been widely accepted as a standard for modeling software systems and is supported by a great number of case tools. However, UML tools often provide limited support for validating models early in the development process. Also, there is no substantial support for specifying constraints written in Object Constraint Language (OCL), which is an important element of new Component based Develo...

متن کامل

Evaluating and Debugging OCL Expressions in UML Models

This paper discusses the relationship between tests and proofs with focus on a tool for UML and OCL models. Tests are thought of as UML object diagrams and theorems or properties which are to be checked are represented as OCL constraints, i.e., class invariants or operation preand postconditions. The paper shows for the UML and OCL tool USE (UML-based Specification Environment) how to trace and...

متن کامل

Model Development in the UML-based Specification Environment (USE)

The tool USE (UML-based Specification Environment) supports analysts, designers, and developers in executing UML models and checking OCL constraints and thus enables them to employ model-driven techniques for software production. USE has been developed since 1998 at the University of Bremen. This paper will shortly discuss to what extent and how USE relates to the selected questions and topics ...

متن کامل

ذخیره در منابع من

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Sci. Comput. Program.

دوره 69  شماره 

صفحات  -

تاریخ انتشار 2007